Towards PCC for Concurrent and Distributed Systems (Work in Progress)
نویسندگان
چکیده
We outline some conceptual challenges in extending the PCC paradigm to a concurrent and distributed setting, and sketch a generalized notion of module correctness based on viewing communication contracts as economic games. The model supports compositional reasoning about modular systems and is meant to apply not only to certification of executable code, but also of organizational workflows.
منابع مشابه
Islanding Detection Method of Distributed Generation Based on Wavenet
Due to the increasing need to distributed energy resources in power systems, their problems should be studied. One of the main problem of distributed energy resources is unplanned islanding. The unplanned islanding has some dangers to the power systems and the repairman which are works with the incorrect devices. In this paper, a passive local method is proposed. The proposed method is based on...
متن کاملSpecifying and Verifying Distributed Intelligent Systems
This paper describes first steps towards the formal specification and verification of Distributed Artificial Intelligence (DAI) systems, through the use of temporal belief logics. The paper first describes Concurrent METATEM, a programming language for DAI, and then develops a logic that may be used to reason about Concurrent METATEM systems. The utility of this logic for specifying and verifyi...
متن کاملControl of Inverter-Interfaced Distributed Generation Units for Voltage and Current Harmonics Compensation in Grid-Connected Microgrids
In this paper, a new approach is proposed for voltage and current harmonics compensation in grid-connected microgrids (MGs). If sensitive loads are connected to the point of common coupling (PCC), compensation is carried out in order to reduce PCC voltage harmonics. In absence of sensitive loads at PCC, current harmonics compensation scenario is selected in order to avoid excessive injection of...
متن کاملSpecifying and Verifying Distributed Intelligence Systems
This paper describes rst steps towards the formal speciica-tion and veriication of Distributed Artiicial Intelligence (DAI) systems, through the use of temporal belief logics. The paper rst describes Concurrent MetateM, a programming language for DAI, and then develops a logic that may be used to reason about Concurrent MetateM systems. The utility of this logic for specifying and verifying Con...
متن کاملDistributed Ray Tracing In An Open Source Environment (Work In Progress)
We present work in progress on concurrent ray tracing with distributed computers using “off-the-shelf” open source software. While there exists numerous open source ray tracers, very few offer support for state-of-the-art concurrent computing. However, it is a well known fact that ray tracing is computationally intensive and yet prevails as the preferred algorithm for photorealistic rendering. ...
متن کامل